COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Mailed to CSD.SMITH, CSD.GENESERETH
C00005 00003	∂07-Oct-80  0742	CSD.SMITH at SU-SCORE 	Re: Start of Glossary      
C00006 ENDMK
C⊗;
Mailed to CSD.SMITH, CSD.GENESERETH
List of terms to be defined -- or at least have a common
meaning to those of us here:

Language
Representation Language
Representation
Linguistic
Epistemologic
Semantics
Syntax
Model
Interpretation
Frame/Schema/Unit
Slot
Proposition
Default
Modality
Object Centered
Function Centered
Stream Centered
"Reason maintanence" (nee "Truth maintanence")
Justification
Meta-level
Instance

Specific to RLL
---------------
Slot Type
Class of Units
Typical Member

What's in a Language?

1. Languages are inherently Linguistic entitites -- in the manner of 
	a grammar is. [See RWW's LS-pairs, ie Language/Structure]
2. A Rep'n Language attempts to correspond to the "real" world --

Representation is both an interpretation and a set of symbols
Language part of a representation

Language: a set of words and a grammar.  Note this is asemantic.

Representation: a mapping between words in a language and objects,
	relationships, etc. in the (some) world.
	Note that a representation is also a language.

Representation Language: a scheme for constructing and augmenting
	a representation, including tools for facilitating same.
	Note than a representation language IS A representation and a language.

Representation Language Language: a scheme for constructing and augmenting
	a representation language, including tools for facilitating same.
	Note than a representation language language IS A representation language.

Glossary:

Language - Linguistic entity
Representation - See SIGART, p. 68-9 for defn, p.5 for illustration of difficulties
Represenatation Language - Corresponds to "real world" IN NATURAL WAY -
	so the pieces are easy to manipulate
Representational Components - pieces used in a representational languages
∂07-Oct-80  0742	CSD.SMITH at SU-SCORE 	Re: Start of Glossary      
Date:  7 Oct 1980 0736-PDT
From: CSD.SMITH at SU-SCORE
Subject: Re: Start of Glossary  
To: RDG at SU-AI
In-Reply-To: Your message of 6-Oct-80 1659-PDT

RPLACA(("Truth maintenance" ...) "Reason maintenance"]
-------